منابع مشابه
Côte de Resyste Automatic model-based testing of communication protocols
Software quality is an issue that currently attracts a lot of attention. Software invades everywhere in our society and life and we are increasingly dependent on it. Moreover, the complexity of software is still growing. This also applies to software in mobile systems. Consequently, the quality, functional correctness and reliability of software is an issue of increasing importance and growing ...
متن کاملSearching for Optimal Homing Sequences for Testing Timed Communication Protocols
With the eruption of communication technology and its supportive protocols, the field of testing of timed-IUT (Implementation Under Test with time constraints) was quick to follow. New and extended test generation methods using timed automata were in the need. Many papers were written on a broad range of timed automata testing. Few papers, however, dealt with generation of state identification ...
متن کاملData-centric Property Formulation for Passive Testing of Communication Protocols
Passive testing techniques are used whenever the system under test cannot be interrupted, or access to its interfaces is unavailable. Under such conditions, communication traces are extracted from points of observation and compared with the expected behavior formally specified as properties. Since most works on the subject come from a formal model context, they are optimized for testing the con...
متن کاملDependent protocols for communication
Programming correct and precise communicating systems remains a challenging and error-prone venture. Still, communicating systems are not only used in practice everyday but also as a device for game based proofs such as security notions. We present a shallow embedding of protocols within the dependent type theory of Agda, enabling mechanized formal reasoning of processes following precise proto...
متن کاملOptimizing Layered Communication Protocols
Layering of protocols o ers several well known advantages but typically leads to performance ine ciencies We present a model for layering and point out where the performance problems occur in stacks of layers using this model We then investigate the common execution paths in these stacks and how to identify them These paths are optimized using three techniques optimizing the computation compres...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Software
سال: 1992
ISSN: 0740-7459
DOI: 10.1109/52.108777